Discrete Mathematics and Symmetry

Some of the most beautiful studies in Mathematics are related to Symmetry and Geometry. For this reason, we select here some contributions about such aspects and Discrete Geometry. As we know, Symmetry in a system means invariance of its elements under conditions of transformations. When we consider network structures, symmetry means invariance of adjacency of nodes under the permutations of node set. The graph isomorphism is an equivalence relation on the set of graphs. Therefore, it partitions the class of all graphs into equivalence classes. The underlying idea of isomorphism is that some objects have the same structure if we omit the individual character of their components. A set of graphs isomorphic to each other is denominated as an isomorphism class of graphs. The automorphism of a graph will be an isomorphism from G onto itself. The family of all automorphisms of a graph G is a permutation group

History and sacrifice. Access to the religious phenomenon in Jan Patočka’s thought

El artículo analiza la significación del pensamiento de J. Patočka para un acceso no confesional al fenómeno religioso. El análisis persigue dos objetivos. Primero determinar en qué medida los fundamentos de su filosofía de la historia implican una conmoción del orden fenoménico que abre el pensamiento hacia el Misterio que trasciende pero, a la vez, posibilita la historia humana. Segundo, explicitar el sacrificio como el medio por excelencia a través del cual el hombre en la era nihilista puede religarse con el llamado de ese Misterio trascendente a realizar la infinita riqueza del ser y mantener viva la historia como historia con sentido.The paper analyzes the significance of J. Patočka’s thought for a non confessional access to the religious phenomenon. The analysis pursues two objectives. Firstly, to determine to what extent the foundations of his philosophy of history imply a commotion of the phenomenal order that opens the thought to the Mystery that transcends, but, at the same time, makes human history a reality. Secondly, to explicit sacrifice as the medium par excellence through which the man in the nihilistic era can connect (re-ligare) himself with the call from this transcendent Mystery to fulfil the infinite richness of being and maintaining history alive as well as meaningful.Fil: Garrido Maturano, Angel Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Nordeste. Instituto de Investigaciones Geohistóricas (i); Argentina. Universidad Catolica de Santa Fe; Argentin

Does spirit truly arise from where it wishes? A critical analysis of three modes of understanding the phenomenology of religion

El artículo estudia tres diferentes formas de entender la fenomenología de la religión que denomina metodológico-hermenéutica, fundamentativo-trascendental y pático-testimonial a través del análisis crítico de ejemplos paradigmáticos de cada una de ellas. El análisis se propone, en primer lugar, exponer los rasgos metodológicos y las diferencias esenciales de cada una de estas tres perspectivas. En segundo lugar, explicita de qué manera la perspectiva pático-testimonial permite conjugar la revelación religiosa y la filosofía fenomenológica y legitima la multiplicidad de manifestaciones confesionales y no confesionales de la religión. Finalmente muestra en qué medida esta tercera perspectiva «disuelve» los problemas de universalidad y fundamentación inherentes a las otras dos.The article studies three different modes of understanding the phenomenology of religion, which are called the methodological-hermeneutical, the foundational-transcendental, and the pathic-testimonial standpoints, by a critical analysis of paradigmatic examples of each view. This analysis attempts, first, to explain the methodological features and the essential differences of each of the three perspectives. Second, the article shows how the pathic-testimonial viewpoint allows a convergence between religious revelation and phenomenological philosophy, and legitimates the manifoldness of confessional and non-confessional manifestations of religion. Finally, it shows how the third viewpoint «dissolves» the problems of universality and foundation that weaken the other two stances.Fil: Garrido Maturano, Angel Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Nordeste. Instituto de Investigaciones Geohistoricas. Universidad Nacional del Nordeste. Instituto de Investigaciones Geohistoricas; Argentin

El odio. Una reconsideración

El artículo, a partir de una crítica a la concepción axiológica de Scheler, realiza un análisis fenomenológico-hermenéutico del odio que se concentra en la índole ontológica del fenómeno. Desde el punto de vista fenomenológico, describe los rasgos estructurales esenciales que posibilitan el surgimiento del odio. Dicha descripción se despliega tanto desde la perspectiva del modo en que se experimenta a sí mismo el sujeto que odia, cuanto del modo en que se da el objeto odiado. Desde el punto de vista hermenéutico, explicita el significado positivo y negativo del odio tanto en el plano ontológico como en el éticoOn the basis of a criticism of Scheler’s axiological theory, this article advances a phenomenological and hermeneutic analysis of hatred. The analysis focuses on the ontological character of the phenomenon. From a phenomenological point of view, it describes the essential structural traits that render possible the emergence of hatred. This description is developed considering both the modes in which the subject that hates experiences itself and the modes in which the hated object is given. From a hermeneutic point of view, the article explains the positive and negative meaning of hatred, both in the ontological and in the ethical levelFil: Garrido Maturano, Angel Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Nordeste. Instituto de Investigaciones Geohistóricas (i); Argentin

La compenetración. Contribuciones para una fenomenología de los temples

El artículo realiza un análisis fenomenológico-trascendental de los temples anímicos. El análisis se propone, en primer lugar, deslindar la esencia de los temples en tanto que fenómenos afectivos. En segundo determinar la condición de posibilidad del acaecimiento de un temple. Para ello desarrolla la hipótesis según la cual los temples se dan como una compenetración entre el estar del cuerpo viviente y su aquí espacial. Finaliza señalando la importancia práctica de la fenomenología de los temples.The article offers a phenomenological analysis of moods. It attempts, first, to elucidate the essence of moods as affective phenomena. Second, it engages in a determination of the conditions of possibility for the occurrence of a mood. With this end in view, it develops the hypothesis according to which moods are given as a compenetration between the being of the living body and its spatial here. Finally, the article highlights the practical importance of the phenomenology of moods.Fil: Garrido Maturano, Angel Enrique. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Nordeste. Instituto de Investigaciones Geohistóricas (i); Argentin

An issue of intensity. The aesthetic and religious significance of Eros in S. Kierkegaard’ thought

Resumen El artículo explicita en qué medida en el pensamiento de Kierkegaard la génesis del Eros tiene una significación a la vez estética y religiosa. Luego replantea el significado de lo estético y lo religioso y muestra cómo la intensidad con la que se experimentan ambas dimensiones las conjuga en el matrimonio. A continuación redefine el concepto de matrimonio desde una hermenéutica de la resolución. Finalmente determina la esperanza como sentido último de la conjunción de lo estético y lo religioso en el Eros. Palabras clave: Kierkegaard, amor, estética, religión, matrimonio.The article explains the extent in which, in Kierkegaard’s thought, the genesis of Eros has a significance that is at once aesthetic and religious. It then restates the meaning of the aesthetic and the religious, and shows how the intensity with which both dimensions are experienced blends them in matrimony. The article then goes on to redefine the concept of matrimony on the basis of a hermeneutics of the notion of resolution. Finally, it specifies hope as the ultimate meaning of the conjunction of the aesthetic and the religious in Eros.Fil: Garrido Maturano, Angel Enrique. Consejo Nacional de Invest.cientif.y Tecnicas. Centro Cientifico Tecnol.conicet - Nordeste. Instituto de Invest.geohistoricas (i); Argentina

Virtualization techniques for memory resource exploitation

Cloud infrastructures have become indispensable in our daily lives with the rise of cloud-based services offered by companies like Facebook, Google, Amazon and many others. These cloud infrastructures use a large numbers of servers provisioned with their own computing resources. Each of these servers use a piece of software, called the Hypervisor (``HV''), that allows them to create multiple virtual instances of the server's physical computing resources and abstract them into "Virtual Machines'' (VMs). A VM runs an Operating System, which in turn runs the applications. The VMs within the servers generate varying memory demand behavior. When the demand increases, costly operations such as (virtual) disk accesses and/or VM migrations can occur. As a result, it is necessary to optimize the utilization of the local memory resources within a single computing server. However, pressure on the memory resources can still increase, making it necessary to migrate the VM to a different server with larger memory or add more memory to the same server. At this point, it is important to consider that some of the servers in the cloud infrastructure might have memory resources that they are not using. Considering the possibility to make memory available to the server, new architectures have been introduced that provide hardware support to enable servers to share their memory capacity. This thesis presents multiple contributions to the memory management problem. First, it addresses the problem of optimizing memory resources in a virtualized server through different types of memory abstractions. Two full contributions are presented for managing memory within a single server called SmarTmem and CARLEMM. In this respect, a third contribution is also presented, called CAVMem, that works as the foundation for CARLEMM. Second, this thesis presents two contributions for memory capacity aggregation across multiple servers, offering two mechanisms called GV-Tmem and vMCA, this latter being based on GV-Tmem but with significant enhancements. These mechanisms distribute the server's total memory within a single-server and globally across computing servers using a user-space process with high-level memory management policies.Las infraestructuras para la nube se han vuelto indispensables en nuestras vidas diarias con la proliferación de los servicios ofrecidos por compañías como Facebook, Google, Amazon entre otras. Estas infraestructuras utilizan una gran cantidad de servidores proveídos con sus propios recursos computacionales. Cada unos de estos servidores utilizan un software, llamado el Hipervisor (“HV”), que les permite crear múltiples instancias virtuales de los recursos físicos de computación del servidor y abstraerlos en “Máquinas Virtuales” (VMs). Una VM ejecuta un Sistema Operativo (OS), el cual a su vez ejecuta aplicaciones. Las VMs dentro de los servidores generan un comportamiento variable de demanda de memoria. Cuando la demanda de memoria aumenta, operaciones costosas como accesos al disco (virtual) y/o migraciones de VMs pueden ocurrir. Como resultado, es necesario optimizar la utilización de los recursos de memoria locales dentro del servidor. Sin embargo, la demanda por memoria puede seguir aumentando, haciendo necesario que la VM migre a otro servidor o que se añada más memoria al servidor. En este punto, es importante considerar que algunos servidores podrían tener recursos de memoria que no están utilizando. Considerando la posibilidad de hacer más memoria disponible a los servidores que lo necesitan, nuevas arquitecturas de servidores han sido introducidos que brindan el soporte de hardware necesario para habilitar que los servidores puedan compartir su capacidad de memoria. Esta tesis presenta múltiples contribuciones para el problema de manejo de memoria. Primero, se enfoca en el problema de optimizar los recursos de memoria en un servidor virtualizado a través de distintos tipos de abstracciones de memoria. Dos contribuciones son presentadas para administrar memoria de manera automática dentro de un servidor virtualizado, llamadas SmarTmem y CARLEMM. En este contexto, una tercera contribución es presentada, llamada CAVMem, que proporciona los fundamentos para el desarrollo de CARLEMM. Segundo, la tesis presenta dos contribuciones enfocadas en la agregación de capacidad de memoria a través de múltiples servidores, ofreciendo dos mecanismos llamados GV-Tmem y vMCA, siendo este último basado en GV-Tmem pero con mejoras significativas. Estos mecanismos administran la memoria total de un servidor a nivel local y de manera global a lo largo de los servidores de la infraestructura de nube utilizando un proceso de usuario que implementa políticas de manejo de ..

Virtualization techniques for memory resource exploitation

Cloud infrastructures have become indispensable in our daily lives with the rise of cloud-based services offered by companies like Facebook, Google, Amazon and many others. These cloud infrastructures use a large numbers of servers provisioned with their own computing resources. Each of these servers use a piece of software, called the Hypervisor (``HV''), that allows them to create multiple virtual instances of the server's physical computing resources and abstract them into "Virtual Machines'' (VMs). A VM runs an Operating System, which in turn runs the applications. The VMs within the servers generate varying memory demand behavior. When the demand increases, costly operations such as (virtual) disk accesses and/or VM migrations can occur. As a result, it is necessary to optimize the utilization of the local memory resources within a single computing server. However, pressure on the memory resources can still increase, making it necessary to migrate the VM to a different server with larger memory or add more memory to the same server. At this point, it is important to consider that some of the servers in the cloud infrastructure might have memory resources that they are not using. Considering the possibility to make memory available to the server, new architectures have been introduced that provide hardware support to enable servers to share their memory capacity. This thesis presents multiple contributions to the memory management problem. First, it addresses the problem of optimizing memory resources in a virtualized server through different types of memory abstractions. Two full contributions are presented for managing memory within a single server called SmarTmem and CARLEMM. In this respect, a third contribution is also presented, called CAVMem, that works as the foundation for CARLEMM. Second, this thesis presents two contributions for memory capacity aggregation across multiple servers, offering two mechanisms called GV-Tmem and vMCA, this latter being based on GV-Tmem but with significant enhancements. These mechanisms distribute the server's total memory within a single-server and globally across computing servers using a user-space process with high-level memory management policies.Las infraestructuras para la nube se han vuelto indispensables en nuestras vidas diarias con la proliferación de los servicios ofrecidos por compañías como Facebook, Google, Amazon entre otras. Estas infraestructuras utilizan una gran cantidad de servidores proveídos con sus propios recursos computacionales. Cada unos de estos servidores utilizan un software, llamado el Hipervisor (“HV”), que les permite crear múltiples instancias virtuales de los recursos físicos de computación del servidor y abstraerlos en “Máquinas Virtuales” (VMs). Una VM ejecuta un Sistema Operativo (OS), el cual a su vez ejecuta aplicaciones. Las VMs dentro de los servidores generan un comportamiento variable de demanda de memoria. Cuando la demanda de memoria aumenta, operaciones costosas como accesos al disco (virtual) y/o migraciones de VMs pueden ocurrir. Como resultado, es necesario optimizar la utilización de los recursos de memoria locales dentro del servidor. Sin embargo, la demanda por memoria puede seguir aumentando, haciendo necesario que la VM migre a otro servidor o que se añada más memoria al servidor. En este punto, es importante considerar que algunos servidores podrían tener recursos de memoria que no están utilizando. Considerando la posibilidad de hacer más memoria disponible a los servidores que lo necesitan, nuevas arquitecturas de servidores han sido introducidos que brindan el soporte de hardware necesario para habilitar que los servidores puedan compartir su capacidad de memoria. Esta tesis presenta múltiples contribuciones para el problema de manejo de memoria. Primero, se enfoca en el problema de optimizar los recursos de memoria en un servidor virtualizado a través de distintos tipos de abstracciones de memoria. Dos contribuciones son presentadas para administrar memoria de manera automática dentro de un servidor virtualizado, llamadas SmarTmem y CARLEMM. En este contexto, una tercera contribución es presentada, llamada CAVMem, que proporciona los fundamentos para el desarrollo de CARLEMM. Segundo, la tesis presenta dos contribuciones enfocadas en la agregación de capacidad de memoria a través de múltiples servidores, ofreciendo dos mecanismos llamados GV-Tmem y vMCA, siendo este último basado en GV-Tmem pero con mejoras significativas. Estos mecanismos administran la memoria total de un servidor a nivel local y de manera global a lo largo de los servidores de la infraestructura de nube utilizando un proceso de usuario que implementa políticas de manejo de ..

Parametrizable fixed-point arithmetic for HIL with small simulation steps

Hardware-in-the-loop (HIL) techniques are increasingly used for test purposes because of their advantages over classical simulations. Field-programmable gate arrays (FPGAs) are becoming popular in HIL systems because of their parallel computing capabilities. In most cases, FPGAs are mainly used for signal processing, such as input pulsewidth modulation sampling and conditioning, while there are also processors to model the system. However, there are other HIL systems that implement the model in the FPGA. For FPGA implementation and regarding the arithmetics, there are two main possibilities: fixed-point and floating-point. Fixed-point is the best choice only when real-time simulations with small simulation steps are needed, while floating point is the common choice because of its flexibility and ease of use. This paper presents a novel hybrid arithmetic for FPGAs called parametrizable fixed-point which takes advantage of both arithmetics as the internal operations are accomplished using simple signed integers, while the point location of the variables can be adjusted as necessary without redesigning the model of the plant. The experimental results show that a buck converter can be modeled using this novel arithmetic with a simulation step below 20 ns. Besides, the experiments prove that the proposed model can be adjusted to any set of values (voltages, currents, capacitances, and so on.) keeping its accuracy without resynthesizing, showing the big advantage over the fixed-point arithmeticThis work has been supported by the Spanish Ministerio de Economía y Competitividad under project TEC2013-43017-

Estructura de la Sierra de Lújar (Complejo Alpujárride, Cordillera Bética)

The Sierra de Lujar constitutes one of the best examples of fold superposition of the Internal Zone of the Betic Cordillera (S Spain). In this paper, the members of its Triassic carbonate series have been used for the first time to obtain the cartography of the Sierra de Lujar, providing knowledge of the two folding systems, the older trending E-W and the younger (far better represented), NNE-SSW. The most important fold is a large reverse syncline with a convex axis towards the SE, forming part of the S and E edges of this sierra; contrarily, the vergence is towards the N in the southern sector and towards the W in the eastern sector. The interior of the Sierra de Lujar bears a succession of NNE-SSO anticlinal and synclinal folds, some with reverse limbs. The vergences fluctuate, even within the same fold. Folds of an E-W system crop out only in the SW sector of the Sierra de Lujar and verge to the S. The unit of the Sierra de Lujar (Lujar-Gádor unit) is overthrust by the Escalate unit (which is a duplication of the Lujar unit) and by other upper units, formed here by schists. The W edge of the Sierra de Lujar is affected by a large normal fault that sinks the Escalate unit there. The E-W folds were coetaneous with the thrusting of the units, while those in the NNE-SSW direction formed at the onset of the westward shift of the Internal Betic-Rif Zone.La Sierra de Lújar constituye uno de los mejores ejemplos de superposición de pliegues de la Zona Interna Bética. Su estructura se ha determinado a partir del primer mapa en el que se han distinguido los diferentes tramos de su serie triásica carbonatada. Los pliegues NNE-SSO son los más abundantes y se superponen a otros de dirección E-O. Los bordes S y E de esta sierra corresponden en parte a un gran sinclinal invertido vergente hacia su interior y que continúa en la Sierra de La Joya pero con distinta vergencia. En el interior de la sierra hay numerosos anticlinales y sinclinales de dirección NNE-SSO, algunos de flancos invertidos cuyas vergencias varían incluso en un mismo pliegue. La unidad de Lujar es cabalgada por la de Escalate (una duplicación de la de Lujar) y por otras superiores. El borde occidental de la Sierra de Lujar está afectado por una falla normal que hunde la unidad de Escalate. Interpretamos que los pliegues E-O se formaron durante el cabalgamiento de las unidades y los NNE-SSO cuando comenzó la traslación de la Zona Interna hacia el O